functional analytic methods for PDEs